Nuprl Definition : Rall
11,40
postcript
pdf
Rall(
L
;
x
.
R
(
x
)) == Rlist(map((
x
.
R
(
x
));
L
))
latex
Definitions
Rlist(
L
)
,
map(
f
;
as
)
FDL editor aliases
Rall
origin
x.R(x)); L)) x.R(x)); L))